Diskussion:Semantische Folgerung
Letzter Kommentar: vor 4 Jahren von LeChambon1940 in Abschnitt Gründliche Überarbeitung
Gründliche Überarbeitung
[Quelltext bearbeiten]Hallo allerseits, ich habe den Eintrag gründlich überarbeitet, weil davor nur die semantische Folgerung in der Aussagenlogik erörtert wurde und kein Hinweis auf andere Kontexte gegeben waren. Falls jemand Verbesserungsvorschläge und Anregungen hat: gern! (nicht signierter Beitrag von LeChambon1940 (Diskussion | Beiträge) 14:01, 23. Jan. 2020 (CET))
Ich überlege einen philosophischen Abschnitt (Konsequenzen für die Beweistheorie, die mathematische Praxis, die Philosophie der Mathematik) hinzuzufügen, aber ich suche noch nach einschlägiger Literatur. Meistens wird die Bedeutung nur erwähnt, ohne darauf einzugehen.--LeChambon1940 (Diskussion) 17:35, 24. Jan. 2020 (CET)